Inheritance hierarchies: Semantics and unification
نویسندگان
چکیده
منابع مشابه
Well-formed Default Unification in Non-deterministic Multiple Inheritance Hierarchies (short paper)
Default unification represents a fundamental extension of the common unification operation, where even in case of inconsistency between the information to be merged, there will always be a result. As default unification is no longer a commutative operation, a distinction is made between the argument containing default information, the background, and the other argument consisting of non-default...
متن کاملInheritance Properties of Role Hierarchies
Role Based Access Control (RBAC) refers to a class of security mechanisms that mediate access to resources through organizational identities called roles. A number of models have been published [1, 2 ,3] that formally describe the basic properties of RBAC. One feature of these models is the notion of a role hierarchy, which represents the relationship among roles that are defined in terms of ot...
متن کاملBlock Decomposition of Inheritance Hierarchies
Inheritance hierarchies play a central role in object oriented languages as in knowledge representation systems. These hierarchies are acyclic directed graphs representing the underline structure of objects. This paper is devoted to the study of eecient algorithms to decompose recursively an inheritance hierarchy into independent subgraphs which are inheritance hierarchies themselves. This proc...
متن کاملOn Inheritance Hierarchies With Exceptions
Using default logic, we formalize NETL-like inheritance hierarchies with exceptions. This provides a number of benefits: (1) A precise semantics for such hierarchies. (2) A provably correct (with respect to the proof theory of default logic) inference algorithm for acyclic networks. (3) A guarantee that acyclic networks have extensions. (4) A provably correct quasi-parallel inference algorithm ...
متن کاملHierarchies and textures in supergravity unification.
It is proposed that supergravity unified models contain in addition to the hidden and the visible sectors, a third sector which contains exotic matter with couplings to the fields of both the visible and the hidden sectors. After spontaneous breaking of supersymmetry exotic matter becomes superheavy and its elimination leads to quark-lepton textures at the GUT scale with a hierarchy in powers o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1989
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(89)80016-1